141. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
669
142. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
143. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
Classification :
QA
76
.
6
.
M367
1992
144. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
Author: J.L.A. van de Snepscheut )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
375
145. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Author: Eerke A. Boiten, Bernhard Moller )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
2386
146. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Author: Johan Jeuring, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1422
147. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Author: Roland Backhouse, Jose Nuno Oliveira )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1837
148. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Author: Dexter Kozen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3125
149. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M366
1989
150. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
Author: Dexter Kozen, editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
6
.
I5535
2004
151. Matlab by example : programming basics
Author: Gdeisat, Munther
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، MATLAB,Data processing ، Mathematics,Data processing ، Numerical analysis,، Computer programming,Computer programs ، Numerical analysis,، Graphical user interfaces )Computer systems(
Classification :
QA
297
.
M34
152. Matrix transforms for computer games and animation
Author: Vince, John )John A.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Mathematics ، Computer graphics,Programming ، Computer games,، Linear programming,Programming ، Computer games,Mathematics ، Computer graphics,، Linear programming
Classification :
T
385
.
V5627
2012
153. Numerical C
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science. ; Computer science ; Mathematics. ; Programming Languages, Compilers, Interpreters. ;
154. Numerical Methods Using Java :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Java (Computer program language) ; Computer algorithms ; Programming (Mathematics) ;
155. Optimization in engineering sciences : exact methods
Author: / Pierre Borne
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Engineering mathematics.,Mathematical optimization.,Program transformation (Computer programming)
Classification :
TA342
.
O685
2013
156. Optimization modeling with LINGO
پدیدآورنده : [Linus Schrage]&
موضوع : Industrial management- Mathematical models,Industrial management- Linear programming,Business mathematics- Linear programming,Industrial management- Linear programming- Computer programs
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
157. Optimization techniques with Fortran
Author: / James L. Kuester, Joe H. Mize
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic data processing,Elctronic data processing programming,(Mathematics),FORTRAN (Computer programlanguage),-- Mathematical optimization
Classification :
519
.
7
K95O
1973
158. Optimization techniques with Fortran
Author: Kuester, James L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematical optimization-- Data processing,، Programming )Mathematics(-- Data processing,، FORTRAN )Computer program language(
Classification :
QA
402
.
5
.
K84
159. Point-to-set maps and mathematical programming /
Author: edited by P. Huard ; A. Auslender [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mappings (Mathematics),Programming (Mathematics),Applications (Mathématiques),Programmation (Mathématiques),COMPUTER PROGRAMMING.,Lineare Optimierung,Lineare Optimierung.,Mappings (Mathematics),Optimierung,Optimierung.,Programmation (mathématiques),Programming (Mathematics)
Classification :
QA402
.
5
.
P57
